Security and Safety Modelling
ثبت نشده
چکیده
Project Partners: Intecs, Institute of Informatics and Telematics CNR, AKHELA, Università degli Studi di Roma La Sapienza, Technical University of Denmark, FTW Forschungszentrum Telekommunikation Wien, Adelard, UniControls, Czech Technical University in Prague, PSA Peugeot Citroën, SYSGO, ikv++ Technologies, eesy-id, Infineon Technologies AG Deutschland, EADS DEUTSCHLAND, Électricité de France, SYSGO s.r.o., Siemens AG Österreich, City University London Centre for Software Reliability, General Motors Research & Development
منابع مشابه
Towards Security-Explicit Formal Modelling of Safety-Critical Systems
Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that if the system is not secure then it is not safe calls for novel development and verification techniques weaving security consideration into the sa...
متن کاملAirport Security Versus Patient Security: The “Sickurity” Problem
The massive restrain security measurements at the airports very much impress the health status of the healthy and sick passengers alike. The security check is undisputedly a harassment – the confiscation of fluids, the limited movement on the airplane results in a stressful situation and put a harmful effect on healthy traveler and an even more harmful one on the sick. This kind of problem coul...
متن کاملExplaining and Evaluating the Effective Factors in Improving the Quality of Children’s Playgrounds in Cities with an Emphasis on Safety and Security Aspects of Children from Parents’ Viewpoint; Case study: Koodak Park of Isfahan
Abstract Childhood games are essential for the development of cognitive, psychological, and physical skills. Playgrounds are spaces that provide the required opportunity to develop the fundamental skills and needs of children, such as connections with nature, games, activities, and so forth. Therefore, the presence of children in these areas requires the provision of a safe and secure environm...
متن کاملInvestigating the Factors Affecting the Safety and security in the Public and Semi-Public of Residential Complex
Threats are one of the most fundamental problems of our modern societies that daily will affect citizens in urban spaces. This becomes more problematic when the people in their everyday living spaces encounter with behaviors that cause lack of security and should have been feel comfort and their families used these spaces freely. This causes many problems for citizens. In today cities because o...
متن کاملAgricultural crop growth modelling: a tool for dealing with the threat of climate change affecting food security (case study for greenhouse tomato)
Climate change and essentiality of the food security have motived scientists to try innovative approaches, among which, crop growth models can help to predict crop yield. In order to simulate tomato (Solanum lycopersicum) growth, phenological characteristics of a short-life variety of tomato were assessed. Phenologic characteristics included leaf area index (LAI), specific leaf area (S...
متن کاملEffectiveness of ontological security training on psychological safety and existential anxiety of elder people
Introduction: Old ages are one of the most major period of human life which because of its nature and being close to death time enhances deep questions about existential identity of man, anxiety related to effacement and annihilation, meaningfulness, feelings of unsafety, loneliness and seclusion in mind of most elder people. So this research has been done to review the effectiveness of ontolog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013